Explications conviviales pour la programmation par contraintes
نویسندگان
چکیده
RÉSUMÉ. Dans cet article, nous présentons un ensemble d’outils pour fournir des explications conviviales dans un système de programmation par contraintes avec explications. L’idée est de représenter les contraintes d’un problème sous forme hiérarchique (un arbre). Les utilisateurs sont alors représentés comme un ensemble de noeuds compréhensibles dans cet arbre (une coupe). Les explications classiques (les ensembles de contraintes du système) doivent juste être projetées sur cette représentation pour être compréhensibles par n’importe quel utilisateur. Nous présentons ici les intérêts principaux de cette idée.
منابع مشابه
Explications k-relevantes pour la programmation par contraintes
This paper presents a set of tools based on explanations for Constraint Programming. These tools exploit k-relevant explanations [Bay 96] which enable to use several explanations, which can lead to better diagnosis. k-relevant explanations are introduced and used to provide : diagnosis tools (state analysis, contradiction analysis, constraint impact analysis), and interaction tools (dynamic con...
متن کاملProgrammation par contraintes avec des fourmis
On explore dans cet article les possibilités d’intégration de la métaheuristique d’optimisation par colonies de fourmis (ACO) dans un langage de programmation par contraintes (PPC). L’idée est d’utiliser un langage de PPC pour décrire le problème à résoudre, ainsi que pour propager et vérifier les contraintes, et d’utiliser ACO pour guider la recherche de solutions. On illustre notre approche s...
متن کاملReformulation de problèmes de satisfaction de contraintes basée sur des métamodèles
Un des challenges importants en programmation par contraintes est la reformulation de modèles déclaratifs en programmes exécutables permettant de calculer leurs solutions. Cette phase peut nécessiter de faire des traductions entre les langages de la programmation par contraintes, de changer la représentation des contraintes ou d’optimiser les modèles et de paramétrer les stratégies de recherche...
متن کاملConception Par Objets D'un Syst Eme Pour Combiner Raisonnement Formel Et Satisfaction De Contraintes
La programmation par satisfaction de contraintes (CSP) est un outil puissant qui permet de r esoudre de nombreux probl emes combinatoires. Cependant, il existe des situations dans lesquelles un raisonnement formel sur les contraintes trouve le r esultat plus vite et plus facilement que les techniques classiques de CSP. Dans cette optique, nous reconstruisons le syst eme Alice, qui proposait de ...
متن کاملUne approche en programmation par contraintes pour la classification non supervisée
Résumé. Dans cet article, nous abordons le problème de classification non supervisée sous contraintes fondé sur la programmation par contraintes (PPC). Nous considérons comme critère d’optimisation la minimisation du diamètre maximal des clusters. Nous proposons un modèle pour cette tâche en PPC et nous montrons aussi l’importance des stratégies de recherche pour améliorer son efficacité. Notre...
متن کامل